Esha Ghosh Efficient Verifiable Range And Closest Point Queries In Zero Knowledge